Nuprl Definition : ext-eq
11,40
postcript
pdf
ext-eq(
A
;
B
) == subtype_rel(
A
;
B
)
subtype_rel(
B
;
A
)
latex
Definitions
P
Q
FDL editor aliases
ext-eq
origin
subtype_rel(B; A) subtype_rel(B; A) Q